home *** CD-ROM | disk | FTP | other *** search
/ ftp.cs.arizona.edu / ftp.cs.arizona.edu.tar / ftp.cs.arizona.edu / icon / newsgrp / group03a.txt / 000077_icon-group-sender_Tue Apr 22 07:44:09 2003.msg < prev    next >
Internet Message Format  |  2003-12-22  |  1KB
  1. Return-Path: <icon-group-sender>
  2. Received: (from root@localhost)
  3.     by baskerville.CS.Arizona.EDU (8.11.1/8.11.1) id h3MEgJc28916
  4.     for icon-group-addresses; Tue, 22 Apr 2003 07:42:19 -0700 (MST)
  5. Message-Id: <200304221442.h3MEgJc28916@baskerville.CS.Arizona.EDU>
  6. X-Sender: kazimir@chem.pmf.hr
  7. Date: Tue, 22 Apr 2003 13:56:06 +0200
  8. To: icon-group@cs.arizona.edu
  9. From: "Majorinc, Kazimir" <Kazimir@chem.pmf.hr>
  10. Subject: Re: Do you think Icon is good choice for me?
  11. Errors-To: icon-group-errors@cs.arizona.edu
  12. Status: RO
  13.  
  14. Just stopped to say that I'm going well. Month and half after first Icon 
  15. code line, my theorem proving program is functional with 1000+ lines of 
  16. code, worked up to 30 hours, allocating up to 500 MB memory (Windows said 
  17. so) without bugs and problems. Needs for memory are not that great, that 
  18. was only a test. Starting period passed smoother and faster than expected, 
  19. and I can already focus more on the problems of the matter itself than on 
  20. programming.
  21.  
  22. Again, thenx to all contributors to Icon project.
  23.  
  24. Kazimir Majorinc, Zagreb, Croatia  
  25.  
  26.